Extensions 1→N→G→Q→1 with N=C2xDic15 and Q=C22

Direct product G=NxQ with N=C2xDic15 and Q=C22
dρLabelID
C23xDic15480C2^3xDic15480,1178

Semidirect products G=N:Q with N=C2xDic15 and Q=C22
extensionφ:Q→Out NdρLabelID
(C2xDic15):1C22 = D30:16D4φ: C22/C1C22 ⊆ Out C2xDic15120(C2xDic15):1C2^2480,847
(C2xDic15):2C22 = D30:17D4φ: C22/C1C22 ⊆ Out C2xDic15120(C2xDic15):2C2^2480,902
(C2xDic15):3C22 = C24:5D15φ: C22/C1C22 ⊆ Out C2xDic15120(C2xDic15):3C2^2480,918
(C2xDic15):4C22 = D4:6D30φ: C22/C1C22 ⊆ Out C2xDic151204(C2xDic15):4C2^2480,1171
(C2xDic15):5C22 = D5xD6:C4φ: C22/C1C22 ⊆ Out C2xDic15120(C2xDic15):5C2^2480,547
(C2xDic15):6C22 = S3xD10:C4φ: C22/C1C22 ⊆ Out C2xDic15120(C2xDic15):6C2^2480,548
(C2xDic15):7C22 = D6:4D20φ: C22/C1C22 ⊆ Out C2xDic15120(C2xDic15):7C2^2480,550
(C2xDic15):8C22 = D30:4D4φ: C22/C1C22 ⊆ Out C2xDic15120(C2xDic15):8C2^2480,551
(C2xDic15):9C22 = D5xC6.D4φ: C22/C1C22 ⊆ Out C2xDic15120(C2xDic15):9C2^2480,623
(C2xDic15):10C22 = S3xC23.D5φ: C22/C1C22 ⊆ Out C2xDic15120(C2xDic15):10C2^2480,630
(C2xDic15):11C22 = (C2xC30):D4φ: C22/C1C22 ⊆ Out C2xDic15120(C2xDic15):11C2^2480,639
(C2xDic15):12C22 = (C2xC6):8D20φ: C22/C1C22 ⊆ Out C2xDic15120(C2xDic15):12C2^2480,640
(C2xDic15):13C22 = C15:C22wrC2φ: C22/C1C22 ⊆ Out C2xDic15120(C2xDic15):13C2^2480,644
(C2xDic15):14C22 = (C2xC10):11D12φ: C22/C1C22 ⊆ Out C2xDic15120(C2xDic15):14C2^2480,646
(C2xDic15):15C22 = D30:8D4φ: C22/C1C22 ⊆ Out C2xDic15120(C2xDic15):15C2^2480,653
(C2xDic15):16C22 = D5xD4:2S3φ: C22/C1C22 ⊆ Out C2xDic151208-(C2xDic15):16C2^2480,1098
(C2xDic15):17C22 = S3xD4:2D5φ: C22/C1C22 ⊆ Out C2xDic151208-(C2xDic15):17C2^2480,1099
(C2xDic15):18C22 = D20:13D6φ: C22/C1C22 ⊆ Out C2xDic151208-(C2xDic15):18C2^2480,1101
(C2xDic15):19C22 = C2xD5xC3:D4φ: C22/C1C22 ⊆ Out C2xDic15120(C2xDic15):19C2^2480,1122
(C2xDic15):20C22 = C2xS3xC5:D4φ: C22/C1C22 ⊆ Out C2xDic15120(C2xDic15):20C2^2480,1123
(C2xDic15):21C22 = C15:2+ 1+4φ: C22/C1C22 ⊆ Out C2xDic151204(C2xDic15):21C2^2480,1125
(C2xDic15):22C22 = C22:C4xD15φ: C22/C2C2 ⊆ Out C2xDic15120(C2xDic15):22C2^2480,845
(C2xDic15):23C22 = C2xD30:3C4φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15):23C2^2480,892
(C2xDic15):24C22 = C2xC30.38D4φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15):24C2^2480,917
(C2xDic15):25C22 = C2xD4xD15φ: C22/C2C2 ⊆ Out C2xDic15120(C2xDic15):25C2^2480,1169
(C2xDic15):26C22 = C2xD4:2D15φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15):26C2^2480,1170
(C2xDic15):27C22 = C4oD4xD15φ: C22/C2C2 ⊆ Out C2xDic151204(C2xDic15):27C2^2480,1175
(C2xDic15):28C22 = C22xC15:7D4φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15):28C2^2480,1179
(C2xDic15):29C22 = D30.27D4φ: C22/C2C2 ⊆ Out C2xDic15120(C2xDic15):29C2^2480,549
(C2xDic15):30C22 = C2xD10:Dic3φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15):30C2^2480,611
(C2xDic15):31C22 = C2xD6:Dic5φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15):31C2^2480,614
(C2xDic15):32C22 = S3xC2xC4xD5φ: C22/C2C2 ⊆ Out C2xDic15120(C2xDic15):32C2^2480,1086
(C2xDic15):33C22 = C2xC20:D6φ: C22/C2C2 ⊆ Out C2xDic15120(C2xDic15):33C2^2480,1089
(C2xDic15):34C22 = D20:24D6φ: C22/C2C2 ⊆ Out C2xDic151204(C2xDic15):34C2^2480,1092
(C2xDic15):35C22 = C22xD5xDic3φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15):35C2^2480,1112
(C2xDic15):36C22 = C2xC30.C23φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15):36C2^2480,1114
(C2xDic15):37C22 = C22xS3xDic5φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15):37C2^2480,1115
(C2xDic15):38C22 = C22xC15:D4φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15):38C2^2480,1118
(C2xDic15):39C22 = C22xC4xD15φ: trivial image240(C2xDic15):39C2^2480,1166

Non-split extensions G=N.Q with N=C2xDic15 and Q=C22
extensionφ:Q→Out NdρLabelID
(C2xDic15).1C22 = C60:8Q8φ: C22/C1C22 ⊆ Out C2xDic15480(C2xDic15).1C2^2480,834
(C2xDic15).2C22 = C60.24Q8φ: C22/C1C22 ⊆ Out C2xDic15480(C2xDic15).2C2^2480,835
(C2xDic15).3C22 = C42:7D15φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).3C2^2480,840
(C2xDic15).4C22 = C42:3D15φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).4C2^2480,841
(C2xDic15).5C22 = C22:2Dic30φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).5C2^2480,843
(C2xDic15).6C22 = C23.8D30φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).6C2^2480,844
(C2xDic15).7C22 = D30:9D4φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).7C2^2480,849
(C2xDic15).8C22 = C23.11D30φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).8C2^2480,850
(C2xDic15).9C22 = C4:Dic30φ: C22/C1C22 ⊆ Out C2xDic15480(C2xDic15).9C2^2480,853
(C2xDic15).10C22 = C4.Dic30φ: C22/C1C22 ⊆ Out C2xDic15480(C2xDic15).10C2^2480,855
(C2xDic15).11C22 = D30:5Q8φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).11C2^2480,861
(C2xDic15).12C22 = D30:6Q8φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).12C2^2480,862
(C2xDic15).13C22 = C60.205D4φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).13C2^2480,889
(C2xDic15).14C22 = C23.28D30φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).14C2^2480,894
(C2xDic15).15C22 = C60:29D4φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).15C2^2480,895
(C2xDic15).16C22 = C23.22D30φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).16C2^2480,900
(C2xDic15).17C22 = C60.17D4φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).17C2^2480,901
(C2xDic15).18C22 = C60:2D4φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).18C2^2480,903
(C2xDic15).19C22 = Dic15:4Q8φ: C22/C1C22 ⊆ Out C2xDic15480(C2xDic15).19C2^2480,909
(C2xDic15).20C22 = D30:7Q8φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).20C2^2480,911
(C2xDic15).21C22 = D4.10D30φ: C22/C1C22 ⊆ Out C2xDic152404-(C2xDic15).21C2^2480,1177
(C2xDic15).22C22 = Dic5:5Dic6φ: C22/C1C22 ⊆ Out C2xDic15480(C2xDic15).22C2^2480,399
(C2xDic15).23C22 = Dic3:5Dic10φ: C22/C1C22 ⊆ Out C2xDic15480(C2xDic15).23C2^2480,400
(C2xDic15).24C22 = (C2xC20).D6φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).24C2^2480,402
(C2xDic15).25C22 = Dic15:1Q8φ: C22/C1C22 ⊆ Out C2xDic15480(C2xDic15).25C2^2480,403
(C2xDic15).26C22 = Dic3:Dic10φ: C22/C1C22 ⊆ Out C2xDic15480(C2xDic15).26C2^2480,404
(C2xDic15).27C22 = Dic15:Q8φ: C22/C1C22 ⊆ Out C2xDic15480(C2xDic15).27C2^2480,405
(C2xDic15).28C22 = Dic3xDic10φ: C22/C1C22 ⊆ Out C2xDic15480(C2xDic15).28C2^2480,406
(C2xDic15).29C22 = Dic5xDic6φ: C22/C1C22 ⊆ Out C2xDic15480(C2xDic15).29C2^2480,408
(C2xDic15).30C22 = Dic30:17C4φ: C22/C1C22 ⊆ Out C2xDic15480(C2xDic15).30C2^2480,409
(C2xDic15).31C22 = Dic5.1Dic6φ: C22/C1C22 ⊆ Out C2xDic15480(C2xDic15).31C2^2480,410
(C2xDic15).32C22 = Dic5.2Dic6φ: C22/C1C22 ⊆ Out C2xDic15480(C2xDic15).32C2^2480,411
(C2xDic15).33C22 = Dic15.Q8φ: C22/C1C22 ⊆ Out C2xDic15480(C2xDic15).33C2^2480,412
(C2xDic15).34C22 = C4:Dic3:D5φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).34C2^2480,413
(C2xDic15).35C22 = (S3xC20):5C4φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).35C2^2480,414
(C2xDic15).36C22 = Dic15.2Q8φ: C22/C1C22 ⊆ Out C2xDic15480(C2xDic15).36C2^2480,415
(C2xDic15).37C22 = Dic30:14C4φ: C22/C1C22 ⊆ Out C2xDic15480(C2xDic15).37C2^2480,416
(C2xDic15).38C22 = D6:C4.D5φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).38C2^2480,417
(C2xDic15).39C22 = C60:5C4:C2φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).39C2^2480,418
(C2xDic15).40C22 = Dic3.Dic10φ: C22/C1C22 ⊆ Out C2xDic15480(C2xDic15).40C2^2480,419
(C2xDic15).41C22 = C4:Dic5:S3φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).41C2^2480,421
(C2xDic15).42C22 = Dic3.2Dic10φ: C22/C1C22 ⊆ Out C2xDic15480(C2xDic15).42C2^2480,422
(C2xDic15).43C22 = Dic3:C4:D5φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).43C2^2480,424
(C2xDic15).44C22 = D10:Dic6φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).44C2^2480,425
(C2xDic15).45C22 = Dic5.8D12φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).45C2^2480,426
(C2xDic15).46C22 = D6:Dic5:C2φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).46C2^2480,427
(C2xDic15).47C22 = D6:Dic10φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).47C2^2480,428
(C2xDic15).48C22 = Dic3.D20φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).48C2^2480,429
(C2xDic15).49C22 = D30.D4φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).49C2^2480,432
(C2xDic15).50C22 = (C4xD5):Dic3φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).50C2^2480,434
(C2xDic15).51C22 = C60.67D4φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).51C2^2480,435
(C2xDic15).52C22 = C60.68D4φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).52C2^2480,436
(C2xDic15).53C22 = (C2xC12).D10φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).53C2^2480,437
(C2xDic15).54C22 = (C2xC60).C22φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).54C2^2480,438
(C2xDic15).55C22 = (C4xDic3):D5φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).55C2^2480,439
(C2xDic15).56C22 = C60.44D4φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).56C2^2480,440
(C2xDic15).57C22 = C60.45D4φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).57C2^2480,441
(C2xDic15).58C22 = C60.46D4φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).58C2^2480,445
(C2xDic15).59C22 = C5:(C42:3S3)φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).59C2^2480,448
(C2xDic15).60C22 = C60.69D4φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).60C2^2480,449
(C2xDic15).61C22 = Dic5:Dic6φ: C22/C1C22 ⊆ Out C2xDic15480(C2xDic15).61C2^2480,452
(C2xDic15).62C22 = Dic5.7Dic6φ: C22/C1C22 ⊆ Out C2xDic15480(C2xDic15).62C2^2480,454
(C2xDic15).63C22 = Dic3.3Dic10φ: C22/C1C22 ⊆ Out C2xDic15480(C2xDic15).63C2^2480,455
(C2xDic15).64C22 = C10.D4:S3φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).64C2^2480,456
(C2xDic15).65C22 = C60.6Q8φ: C22/C1C22 ⊆ Out C2xDic15480(C2xDic15).65C2^2480,457
(C2xDic15).66C22 = (C4xDic5):S3φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).66C2^2480,463
(C2xDic15).67C22 = C20.Dic6φ: C22/C1C22 ⊆ Out C2xDic15480(C2xDic15).67C2^2480,464
(C2xDic15).68C22 = C60.48D4φ: C22/C1C22 ⊆ Out C2xDic15480(C2xDic15).68C2^2480,465
(C2xDic15).69C22 = D5xDic3:C4φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).69C2^2480,468
(C2xDic15).70C22 = (D5xDic3):C4φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).70C2^2480,469
(C2xDic15).71C22 = Dic3:4D20φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).71C2^2480,471
(C2xDic15).72C22 = D6.(C4xD5)φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).72C2^2480,474
(C2xDic15).73C22 = S3xC10.D4φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).73C2^2480,475
(C2xDic15).74C22 = D30.C2:C4φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).74C2^2480,478
(C2xDic15).75C22 = D30.23(C2xC4)φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).75C2^2480,479
(C2xDic15).76C22 = Dic5:4D12φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).76C2^2480,481
(C2xDic15).77C22 = (C6xD5).D4φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).77C2^2480,483
(C2xDic15).78C22 = Dic15:D4φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).78C2^2480,484
(C2xDic15).79C22 = Dic3:D20φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).79C2^2480,485
(C2xDic15).80C22 = D6:1Dic10φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).80C2^2480,486
(C2xDic15).81C22 = D30:Q8φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).81C2^2480,487
(C2xDic15).82C22 = D5xC4:Dic3φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).82C2^2480,488
(C2xDic15).83C22 = D10.16D12φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).83C2^2480,489
(C2xDic15).84C22 = D10.17D12φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).84C2^2480,490
(C2xDic15).85C22 = Dic5xD12φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).85C2^2480,491
(C2xDic15).86C22 = Dic5:D12φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).86C2^2480,492
(C2xDic15).87C22 = D6:2Dic10φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).87C2^2480,493
(C2xDic15).88C22 = D30:2Q8φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).88C2^2480,495
(C2xDic15).89C22 = D10:1Dic6φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).89C2^2480,497
(C2xDic15).90C22 = D10:2Dic6φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).90C2^2480,498
(C2xDic15).91C22 = (C2xD12).D5φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).91C2^2480,499
(C2xDic15).92C22 = D30:3Q8φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).92C2^2480,500
(C2xDic15).93C22 = Dic3xD20φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).93C2^2480,501
(C2xDic15).94C22 = S3xC4:Dic5φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).94C2^2480,502
(C2xDic15).95C22 = D6.D20φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).95C2^2480,503
(C2xDic15).96C22 = D30:4Q8φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).96C2^2480,505
(C2xDic15).97C22 = Dic15.D4φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).97C2^2480,506
(C2xDic15).98C22 = D10:4Dic6φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).98C2^2480,507
(C2xDic15).99C22 = D6:3Dic10φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).99C2^2480,508
(C2xDic15).100C22 = D6:4Dic10φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).100C2^2480,512
(C2xDic15).101C22 = D30.7D4φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).101C2^2480,514
(C2xDic15).102C22 = D6:(C4xD5)φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).102C2^2480,516
(C2xDic15).103C22 = C15:17(C4xD4)φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).103C2^2480,517
(C2xDic15).104C22 = C15:20(C4xD4)φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).104C2^2480,520
(C2xDic15).105C22 = C15:22(C4xD4)φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).105C2^2480,522
(C2xDic15).106C22 = D6:C4:D5φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).106C2^2480,523
(C2xDic15).107C22 = D10:D12φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).107C2^2480,524
(C2xDic15).108C22 = C60:D4φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).108C2^2480,525
(C2xDic15).109C22 = D10:C4:S3φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).109C2^2480,528
(C2xDic15).110C22 = Dic15:2D4φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).110C2^2480,529
(C2xDic15).111C22 = D6:D20φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).111C2^2480,530
(C2xDic15).112C22 = (C2xDic6):D5φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).112C2^2480,531
(C2xDic15).113C22 = C60:4D4φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).113C2^2480,532
(C2xDic15).114C22 = D6.9D20φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).114C2^2480,533
(C2xDic15).115C22 = Dic15.10D4φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).115C2^2480,538
(C2xDic15).116C22 = C60:Q8φ: C22/C1C22 ⊆ Out C2xDic15480(C2xDic15).116C2^2480,544
(C2xDic15).117C22 = C20:4Dic6φ: C22/C1C22 ⊆ Out C2xDic15480(C2xDic15).117C2^2480,545
(C2xDic15).118C22 = C23.D5:S3φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).118C2^2480,601
(C2xDic15).119C22 = Dic15.19D4φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).119C2^2480,602
(C2xDic15).120C22 = (C6xDic5):7C4φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).120C2^2480,604
(C2xDic15).121C22 = C23.26(S3xD5)φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).121C2^2480,605
(C2xDic15).122C22 = C23.13(S3xD5)φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).122C2^2480,606
(C2xDic15).123C22 = C23.14(S3xD5)φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).123C2^2480,607
(C2xDic15).124C22 = D30:6D4φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).124C2^2480,609
(C2xDic15).125C22 = C6.(D4xD5)φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).125C2^2480,610
(C2xDic15).126C22 = (C2xC30).D4φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).126C2^2480,612
(C2xDic15).127C22 = C30.(C2xD4)φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).127C2^2480,615
(C2xDic15).128C22 = C10.(C2xD12)φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).128C2^2480,618
(C2xDic15).129C22 = C6.D4:D5φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).129C2^2480,622
(C2xDic15).130C22 = C23.17(S3xD5)φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).130C2^2480,624
(C2xDic15).131C22 = (C6xD5):D4φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).131C2^2480,625
(C2xDic15).132C22 = Dic15:3D4φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).132C2^2480,626
(C2xDic15).133C22 = Dic5xC3:D4φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).133C2^2480,627
(C2xDic15).134C22 = C15:26(C4xD4)φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).134C2^2480,628
(C2xDic15).135C22 = Dic3xC5:D4φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).135C2^2480,629
(C2xDic15).136C22 = (S3xC10).D4φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).136C2^2480,631
(C2xDic15).137C22 = C15:28(C4xD4)φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).137C2^2480,632
(C2xDic15).138C22 = D30:7D4φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).138C2^2480,633
(C2xDic15).139C22 = Dic15:4D4φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).139C2^2480,634
(C2xDic15).140C22 = D30.16D4φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).140C2^2480,638
(C2xDic15).141C22 = (S3xC10):D4φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).141C2^2480,641
(C2xDic15).142C22 = (C2xC10):4D12φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).142C2^2480,642
(C2xDic15).143C22 = Dic15:5D4φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).143C2^2480,643
(C2xDic15).144C22 = (C2xC6):D20φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).144C2^2480,645
(C2xDic15).145C22 = (C2xC30):Q8φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).145C2^2480,650
(C2xDic15).146C22 = (C2xC10):8Dic6φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).146C2^2480,651
(C2xDic15).147C22 = C2xD5xDic6φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).147C2^2480,1073
(C2xDic15).148C22 = C2xD20:5S3φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).148C2^2480,1074
(C2xDic15).149C22 = D20.39D6φ: C22/C1C22 ⊆ Out C2xDic152404-(C2xDic15).149C2^2480,1077
(C2xDic15).150C22 = C2xS3xDic10φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).150C2^2480,1078
(C2xDic15).151C22 = C2xD12:5D5φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).151C2^2480,1084
(C2xDic15).152C22 = C15:2- 1+4φ: C22/C1C22 ⊆ Out C2xDic152408-(C2xDic15).152C2^2480,1096
(C2xDic15).153C22 = C2xDic5.D6φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).153C2^2480,1113
(C2xDic15).154C22 = C2xDic3.D10φ: C22/C1C22 ⊆ Out C2xDic15240(C2xDic15).154C2^2480,1116
(C2xDic15).155C22 = C4xDic30φ: C22/C2C2 ⊆ Out C2xDic15480(C2xDic15).155C2^2480,833
(C2xDic15).156C22 = C42:2D15φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).156C2^2480,837
(C2xDic15).157C22 = C4xD60φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).157C2^2480,838
(C2xDic15).158C22 = D30.28D4φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).158C2^2480,848
(C2xDic15).159C22 = C22.D60φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).159C2^2480,851
(C2xDic15).160C22 = Dic15:10Q8φ: C22/C2C2 ⊆ Out C2xDic15480(C2xDic15).160C2^2480,852
(C2xDic15).161C22 = Dic15.3Q8φ: C22/C2C2 ⊆ Out C2xDic15480(C2xDic15).161C2^2480,854
(C2xDic15).162C22 = C4:C4xD15φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).162C2^2480,856
(C2xDic15).163C22 = C4:C4:7D15φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).163C2^2480,857
(C2xDic15).164C22 = D30.29D4φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).164C2^2480,859
(C2xDic15).165C22 = C4:D60φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).165C2^2480,860
(C2xDic15).166C22 = C4:C4:D15φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).166C2^2480,863
(C2xDic15).167C22 = C2xC30.4Q8φ: C22/C2C2 ⊆ Out C2xDic15480(C2xDic15).167C2^2480,888
(C2xDic15).168C22 = C2xC60:5C4φ: C22/C2C2 ⊆ Out C2xDic15480(C2xDic15).168C2^2480,890
(C2xDic15).169C22 = C23.26D30φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).169C2^2480,891
(C2xDic15).170C22 = C4xC15:7D4φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).170C2^2480,893
(C2xDic15).171C22 = D4xDic15φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).171C2^2480,899
(C2xDic15).172C22 = Dic15:12D4φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).172C2^2480,904
(C2xDic15).173C22 = C60:3D4φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).173C2^2480,905
(C2xDic15).174C22 = Q8xDic15φ: C22/C2C2 ⊆ Out C2xDic15480(C2xDic15).174C2^2480,910
(C2xDic15).175C22 = C60.23D4φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).175C2^2480,912
(C2xDic15).176C22 = C22xDic30φ: C22/C2C2 ⊆ Out C2xDic15480(C2xDic15).176C2^2480,1165
(C2xDic15).177C22 = C2xD60:11C2φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).177C2^2480,1168
(C2xDic15).178C22 = C2xQ8xD15φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).178C2^2480,1172
(C2xDic15).179C22 = Dic15:5Q8φ: C22/C2C2 ⊆ Out C2xDic15480(C2xDic15).179C2^2480,401
(C2xDic15).180C22 = Dic15:6Q8φ: C22/C2C2 ⊆ Out C2xDic15480(C2xDic15).180C2^2480,407
(C2xDic15).181C22 = Dic15:7Q8φ: C22/C2C2 ⊆ Out C2xDic15480(C2xDic15).181C2^2480,420
(C2xDic15).182C22 = (C4xD15):8C4φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).182C2^2480,423
(C2xDic15).183C22 = D30.34D4φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).183C2^2480,430
(C2xDic15).184C22 = D30.35D4φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).184C2^2480,431
(C2xDic15).185C22 = (D5xC12):C4φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).185C2^2480,433
(C2xDic15).186C22 = (C4xDic15):C2φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).186C2^2480,442
(C2xDic15).187C22 = D6:Dic5.C2φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).187C2^2480,443
(C2xDic15).188C22 = C60.88D4φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).188C2^2480,444
(C2xDic15).189C22 = C60.89D4φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).189C2^2480,446
(C2xDic15).190C22 = (S3xC20):7C4φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).190C2^2480,447
(C2xDic15).191C22 = D30:8Q8φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).191C2^2480,453
(C2xDic15).192C22 = Dic15.4Q8φ: C22/C2C2 ⊆ Out C2xDic15480(C2xDic15).192C2^2480,458
(C2xDic15).193C22 = D30:9Q8φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).193C2^2480,459
(C2xDic15).194C22 = C12.Dic10φ: C22/C2C2 ⊆ Out C2xDic15480(C2xDic15).194C2^2480,460
(C2xDic15).195C22 = Dic15:8Q8φ: C22/C2C2 ⊆ Out C2xDic15480(C2xDic15).195C2^2480,461
(C2xDic15).196C22 = (C4xD15):10C4φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).196C2^2480,462
(C2xDic15).197C22 = D30:10Q8φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).197C2^2480,466
(C2xDic15).198C22 = C4xD5xDic3φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).198C2^2480,467
(C2xDic15).199C22 = D10.19(C4xS3)φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).199C2^2480,470
(C2xDic15).200C22 = Dic15:13D4φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).200C2^2480,472
(C2xDic15).201C22 = C4xS3xDic5φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).201C2^2480,473
(C2xDic15).202C22 = (S3xDic5):C4φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).202C2^2480,476
(C2xDic15).203C22 = C4xD30.C2φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).203C2^2480,477
(C2xDic15).204C22 = D30.Q8φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).204C2^2480,480
(C2xDic15).205C22 = Dic15:14D4φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).205C2^2480,482
(C2xDic15).206C22 = D20:8Dic3φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).206C2^2480,510
(C2xDic15).207C22 = Dic15:8D4φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).207C2^2480,511
(C2xDic15).208C22 = D30.2Q8φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).208C2^2480,513
(C2xDic15).209C22 = C4xC15:D4φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).209C2^2480,515
(C2xDic15).210C22 = Dic15:9D4φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).210C2^2480,518
(C2xDic15).211C22 = C4xC3:D20φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).211C2^2480,519
(C2xDic15).212C22 = C4xC5:D12φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).212C2^2480,521
(C2xDic15).213C22 = D30:12D4φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).213C2^2480,537
(C2xDic15).214C22 = C60:10D4φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).214C2^2480,539
(C2xDic15).215C22 = Dic15.31D4φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).215C2^2480,540
(C2xDic15).216C22 = C12:2D20φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).216C2^2480,541
(C2xDic15).217C22 = C20:2D12φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).217C2^2480,542
(C2xDic15).218C22 = C4xC15:Q8φ: C22/C2C2 ⊆ Out C2xDic15480(C2xDic15).218C2^2480,543
(C2xDic15).219C22 = C20:Dic6φ: C22/C2C2 ⊆ Out C2xDic15480(C2xDic15).219C2^2480,546
(C2xDic15).220C22 = C2xDic3xDic5φ: C22/C2C2 ⊆ Out C2xDic15480(C2xDic15).220C2^2480,603
(C2xDic15).221C22 = C23.48(S3xD5)φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).221C2^2480,608
(C2xDic15).222C22 = C6.(C2xD20)φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).222C2^2480,613
(C2xDic15).223C22 = C2xC30.Q8φ: C22/C2C2 ⊆ Out C2xDic15480(C2xDic15).223C2^2480,617
(C2xDic15).224C22 = (C2xC10).D12φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).224C2^2480,619
(C2xDic15).225C22 = C2xDic15:5C4φ: C22/C2C2 ⊆ Out C2xDic15480(C2xDic15).225C2^2480,620
(C2xDic15).226C22 = C2xC6.Dic10φ: C22/C2C2 ⊆ Out C2xDic15480(C2xDic15).226C2^2480,621
(C2xDic15).227C22 = Dic15:16D4φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).227C2^2480,635
(C2xDic15).228C22 = Dic15:17D4φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).228C2^2480,636
(C2xDic15).229C22 = Dic15:18D4φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).229C2^2480,647
(C2xDic15).230C22 = Dic15.48D4φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).230C2^2480,652
(C2xDic15).231C22 = C2xD20:S3φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).231C2^2480,1075
(C2xDic15).232C22 = C2xD12:D5φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).232C2^2480,1079
(C2xDic15).233C22 = C2xD15:Q8φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).233C2^2480,1082
(C2xDic15).234C22 = C2xD6.D10φ: C22/C2C2 ⊆ Out C2xDic15240(C2xDic15).234C2^2480,1083
(C2xDic15).235C22 = C22xC15:Q8φ: C22/C2C2 ⊆ Out C2xDic15480(C2xDic15).235C2^2480,1121
(C2xDic15).236C22 = C42xD15φ: trivial image240(C2xDic15).236C2^2480,836
(C2xDic15).237C22 = C23.15D30φ: trivial image240(C2xDic15).237C2^2480,842
(C2xDic15).238C22 = Dic15:19D4φ: trivial image240(C2xDic15).238C2^2480,846
(C2xDic15).239C22 = D60:11C4φ: trivial image240(C2xDic15).239C2^2480,858
(C2xDic15).240C22 = C2xC4xDic15φ: trivial image480(C2xDic15).240C2^2480,887
(C2xDic15).241C22 = C2xQ8:3D15φ: trivial image240(C2xDic15).241C2^2480,1173

׿
x
:
Z
F
o
wr
Q
<